\begin{figure}[H]
\centering
\begin{subfigure}[b]{.24\textwidth}
\centering
\begin{minipage}{0.6\linewidth}
\begin{verbatim}
EX($B) = { 0 }
  $B = { 1 }
\end{verbatim}
\end{minipage}
\caption{$EX(\$B)$}
\end{subfigure}
\begin{subfigure}[b]{.24\textwidth}
\centering
\begin{minipage}{0.68\linewidth}
\begin{verbatim}
EX(true) = { 0 }
  true = { 1 }
\end{verbatim}
\end{minipage}
\caption{$EX(true)$}
\end{subfigure}
\begin{subfigure}[b]{.24\textwidth}
\centering
\begin{minipage}{0.68\linewidth}
\begin{verbatim}
EX(dead) = { 0 }
  dead = { 1 }
\end{verbatim}
\end{minipage}
\caption{$EX(dead)$}
\end{subfigure}
\begin{subfigure}[b]{.24\textwidth}
\centering
\begin{minipage}{0.78\linewidth}
\begin{verbatim}
EX(initial) = { 2 }
  initial = { 0 }
\end{verbatim}
\end{minipage}
\caption{$EX(initial)$}
\end{subfigure}
\caption{Affichages au format textuel obtenus pour les preuves atomiques}
\label{fig:PreuveAtomiqueTextuel}
\end{figure}